Formal Verification of Coalescing Graph-Coloring Register Allocation Sandrine Blazy1 , Benoˆıt Robillard2 , and Andrew W. Appel3 1 IRISA - Universit´e Rennes 1

Source URL: www.cs.princeton.edu

• Graph theory
• Graph coloring
• Matroid theory
• Register allocation
• Graph
• Degree
• Ear decomposition
• Edge contraction
• Line graph

The Weird Machines in Proof-Carrying Code IEEE Security and Privacy LangSec Workshop 2014 Invited paper Julien Vanegue Bloomberg L.P. New York, USA.

Source URL: openwall.info

• Theoretical computer science
• Formal methods
• Computer science
• Software engineering
• Logic in computer science
• Dependently typed programming
• Proof assistants
• Proof-carrying code
• Formal verification
• Mathematical proof
• CurryHoward correspondence
• Algorithm

Automatic verification of privacy properties in the applied pi calculus⋆ St´ephanie Delaune, Mark Ryan, and Ben Smyth Abstract We develop a formal method verification technique for cryptographic protocols. We focus on

Source URL: www.lsv.ens-cachan.fr

SCALABLE FORMAL DYNAMIC VERIFICATION OF MPI PROGRAMS THROUGH DISTRIBUTED CAUSALITY TRACKING by Anh Vo

Source URL: www.cs.utah.edu

NCSC-TGLibrary No. S-231,308 FOREWORD This publication, Guidelines for Formal Verification Systems, is issued by

Source URL: zedz.net

Verification-Cases: Characterizing the Completeness Degree of Incomplete Verification for C Programs Towards Using Formal Verification for Low Criticality Functions Daniel Ratiu Vincent Nimal

Source URL: fm.csl.sri.com

Automatic Verification of Security Protocols: Formal Model and Computational Model

Source URL: prosecco.gforge.inria.fr

Reusing Proofs when Program Verification Systems are Modified Bernhard Beckert, Thorsten Bormer, and Vladimir Klebanov Institute for Computer Science University of Koblenz-Landau www.key-project.org Abstract

Source URL: formal.iti.kit.edu

Integrating Verification and Testing of Object-Oriented Software Christian Engel, Christoph Gladisch, Vladimir Klebanov, and Philipp R¨ ummer www.key-project.org

Source URL: formal.iti.kit.edu

Death, Taxes, and Formal Verification Justin Hsu University of Pennsylvania 3330 Walnut Street, Philadelphia, USA

Source URL: snapl.org